- 命题变量
- 命题变元
- variable: adj. 1.易变的，变化无常的，无定的 (opp. c ...
- propositional: 建议的; 提议的; 主张的
- propositional act: 命题行为
- propositional algebra: 命题代数
- propositional calculus: 句子逻辑; 命题逻辑; 命题演算
下载手机词典可随时随地查词查翻译
propositional variable中文什么意思
- 命题变量
- 命题变元
下载手机词典可随时随地查词查翻译
百科释义
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.
详细百科解释